home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| DirectMusic Style (music/directMusicStyle)
| ext
| Unsupported |
| 1%
| dexvert
| Microsoft Word Style Sheet (other/microsoftWordStyleSheet)
| ext
| Unsupported |
| 1%
| dexvert
| KORG File (other/korgFile)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| TeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 63 | 2e 73 74 79 27 2c 20 67 |ile `thc|.sty', g|
|00000020| 65 6e 65 72 61 74 65 64 | 20 0a 25 25 20 6f 6e 20 |enerated| .%% on |
|00000030| 3c 31 39 39 35 2f 33 2f | 34 3e 20 77 69 74 68 20 |<1995/3/|4> with |
|00000040| 74 68 65 20 64 6f 63 73 | 74 72 69 70 20 75 74 69 |the docs|trip uti|
|00000050| 6c 69 74 79 20 28 32 2e | 32 69 29 2e 0a 25 25 20 |lity (2.|2i)..%% |
|00000060| 0a 25 25 20 54 68 65 20 | 6f 72 69 67 69 6e 61 6c |.%% The |original|
|00000070| 20 73 6f 75 72 63 65 20 | 66 69 6c 65 73 20 77 65 | source |files we|
|00000080| 72 65 3a 0a 25 25 20 0a | 25 25 20 74 68 65 6f 72 |re:.%% .|%% theor|
|00000090| 65 6d 2e 64 74 78 20 20 | 28 77 69 74 68 20 6f 70 |em.dtx |(with op|
|000000a0| 74 69 6f 6e 73 3a 20 60 | 74 68 63 27 29 0a 25 25 |tions: `|thc').%%|
|000000b0| 20 0a 25 25 20 49 4d 50 | 4f 52 54 41 4e 54 20 4e | .%% IMP|ORTANT N|
|000000c0| 4f 54 49 43 45 3a 20 0a | 25 25 20 54 68 69 73 20 |OTICE: .|%% This |
|000000d0| 66 69 6c 65 20 69 73 20 | 70 61 72 74 20 6f 66 20 |file is |part of |
|000000e0| 74 68 65 20 60 74 6f 6f | 6c 73 27 20 62 75 6e 64 |the `too|ls' bund|
|000000f0| 6c 65 20 0a 25 25 20 69 | 6e 20 74 68 65 20 4c 61 |le .%% i|n the La|
|00000100| 54 65 58 32 65 20 64 69 | 73 74 72 69 62 75 74 69 |TeX2e di|stributi|
|00000110| 6f 6e 2e 20 0a 25 25 20 | 0a 25 25 20 59 6f 75 20 |on. .%% |.%% You |
|00000120| 61 72 65 20 6e 6f 74 20 | 61 6c 6c 6f 77 65 64 20 |are not |allowed |
|00000130| 74 6f 20 64 69 73 74 72 | 69 62 75 74 65 20 74 68 |to distr|ibute th|
|00000140| 69 73 20 66 69 6c 65 2e | 20 0a 25 25 20 46 6f 72 |is file.| .%% For|
|00000150| 20 64 69 73 74 72 69 62 | 75 74 69 6f 6e 20 6f 66 | distrib|ution of|
|00000160| 20 74 68 65 20 6f 72 69 | 67 69 6e 61 6c 20 73 6f | the ori|ginal so|
|00000170| 75 72 63 65 20 73 65 65 | 20 0a 25 25 20 74 68 65 |urce see| .%% the|
|00000180| 20 63 6f 70 79 72 69 67 | 68 74 20 6e 6f 74 69 63 | copyrig|ht notic|
|00000190| 65 20 69 6e 20 74 68 65 | 20 73 6f 75 72 63 65 20 |e in the| source |
|000001a0| 66 69 6c 65 2c 20 61 6e | 64 20 0a 25 25 20 69 6e |file, an|d .%% in|
|000001b0| 20 74 68 65 20 66 69 6c | 65 20 72 65 61 64 6d 65 | the fil|e readme|
|000001c0| 2e 74 78 74 20 64 69 73 | 74 72 69 62 75 74 65 64 |.txt dis|tributed|
|000001d0| 20 77 69 74 68 20 74 68 | 65 20 0a 25 25 20 74 6f | with th|e .%% to|
|000001e0| 6f 6c 73 20 62 75 6e 64 | 6c 65 2e 20 0a 25 25 20 |ols bund|le. .%% |
|000001f0| 0a 5c 64 65 66 5c 66 69 | 6c 65 76 65 72 73 69 6f |.\def\fi|leversio|
|00000200| 6e 7b 76 32 2e 32 61 7d | 0a 5c 64 65 66 5c 66 69 |n{v2.2a}|.\def\fi|
|00000210| 6c 65 64 61 74 65 7b 31 | 39 39 34 2f 30 32 2f 30 |ledate{1|994/02/0|
|00000220| 33 7d 0a 5c 64 65 66 5c | 64 6f 63 64 61 74 65 20 |3}.\def\|docdate |
|00000230| 7b 31 39 39 34 2f 30 32 | 2f 32 38 7d 0a 25 25 20 |{1994/02|/28}.%% |
|00000240| 5c 43 68 61 72 61 63 74 | 65 72 54 61 62 6c 65 0a |\Charact|erTable.|
|00000250| 25 25 20 20 7b 55 70 70 | 65 72 2d 63 61 73 65 20 |%% {Upp|er-case |
|00000260| 20 20 20 5c 41 5c 42 5c | 43 5c 44 5c 45 5c 46 5c | \A\B\|C\D\E\F\|
|00000270| 47 5c 48 5c 49 5c 4a 5c | 4b 5c 4c 5c 4d 5c 4e 5c |G\H\I\J\|K\L\M\N\|
|00000280| 4f 5c 50 5c 51 5c 52 5c | 53 5c 54 5c 55 5c 56 5c |O\P\Q\R\|S\T\U\V\|
|00000290| 57 5c 58 5c 59 5c 5a 0a | 25 25 20 20 20 4c 6f 77 |W\X\Y\Z.|%% Low|
|000002a0| 65 72 2d 63 61 73 65 20 | 20 20 20 5c 61 5c 62 5c |er-case | \a\b\|
|000002b0| 63 5c 64 5c 65 5c 66 5c | 67 5c 68 5c 69 5c 6a 5c |c\d\e\f\|g\h\i\j\|
|000002c0| 6b 5c 6c 5c 6d 5c 6e 5c | 6f 5c 70 5c 71 5c 72 5c |k\l\m\n\|o\p\q\r\|
|000002d0| 73 5c 74 5c 75 5c 76 5c | 77 5c 78 5c 79 5c 7a 0a |s\t\u\v\|w\x\y\z.|
|000002e0| 25 25 20 20 20 44 69 67 | 69 74 73 20 20 20 20 20 |%% Dig|its |
|000002f0| 20 20 20 5c 30 5c 31 5c | 32 5c 33 5c 34 5c 35 5c | \0\1\|2\3\4\5\|
|00000300| 36 5c 37 5c 38 5c 39 0a | 25 25 20 20 20 45 78 63 |6\7\8\9.|%% Exc|
|00000310| 6c 61 6d 61 74 69 6f 6e | 20 20 20 5c 21 20 20 20 |lamation| \! |
|00000320| 20 20 44 6f 75 62 6c 65 | 20 71 75 6f 74 65 20 20 | Double| quote |
|00000330| 5c 22 20 20 20 20 20 48 | 61 73 68 20 28 6e 75 6d |\" H|ash (num|
|00000340| 62 65 72 29 20 5c 23 0a | 25 25 20 20 20 44 6f 6c |ber) \#.|%% Dol|
|00000350| 6c 61 72 20 20 20 20 20 | 20 20 20 5c 24 20 20 20 |lar | \$ |
|00000360| 20 20 50 65 72 63 65 6e | 74 20 20 20 20 20 20 20 | Percen|t |
|00000370| 5c 25 20 20 20 20 20 41 | 6d 70 65 72 73 61 6e 64 |\% A|mpersand|
|00000380| 20 20 20 20 20 5c 26 0a | 25 25 20 20 20 41 63 75 | \&.|%% Acu|
|00000390| 74 65 20 61 63 63 65 6e | 74 20 20 5c 27 20 20 20 |te accen|t \' |
|000003a0| 20 20 4c 65 66 74 20 70 | 61 72 65 6e 20 20 20 20 | Left p|aren |
|000003b0| 5c 28 20 20 20 20 20 52 | 69 67 68 74 20 70 61 72 |\( R|ight par|
|000003c0| 65 6e 20 20 20 5c 29 0a | 25 25 20 20 20 41 73 74 |en \).|%% Ast|
|000003d0| 65 72 69 73 6b 20 20 20 | 20 20 20 5c 2a 20 20 20 |erisk | \* |
|000003e0| 20 20 50 6c 75 73 20 20 | 20 20 20 20 20 20 20 20 | Plus | |
|000003f0| 5c 2b 20 20 20 20 20 43 | 6f 6d 6d 61 20 20 20 20 |\+ C|omma |
|00000400| 20 20 20 20 20 5c 2c 0a | 25 25 20 20 20 4d 69 6e | \,.|%% Min|
|00000410| 75 73 20 20 20 20 20 20 | 20 20 20 5c 2d 20 20 20 |us | \- |
|00000420| 20 20 50 6f 69 6e 74 20 | 20 20 20 20 20 20 20 20 | Point | |
|00000430| 5c 2e 20 20 20 20 20 53 | 6f 6c 69 64 75 73 20 20 |\. S|olidus |
|00000440| 20 20 20 20 20 5c 2f 0a | 25 25 20 20 20 43 6f 6c | \/.|%% Col|
|00000450| 6f 6e 20 20 20 20 20 20 | 20 20 20 5c 3a 20 20 20 |on | \: |
|00000460| 20 20 53 65 6d 69 63 6f | 6c 6f 6e 20 20 20 20 20 | Semico|lon |
|00000470| 5c 3b 20 20 20 20 20 4c | 65 73 73 20 74 68 61 6e |\; L|ess than|
|00000480| 20 20 20 20 20 5c 3c 0a | 25 25 20 20 20 45 71 75 | \<.|%% Equ|
|00000490| 61 6c 73 20 20 20 20 20 | 20 20 20 5c 3d 20 20 20 |als | \= |
|000004a0| 20 20 47 72 65 61 74 65 | 72 20 74 68 61 6e 20 20 | Greate|r than |
|000004b0| 5c 3e 20 20 20 20 20 51 | 75 65 73 74 69 6f 6e 20 |\> Q|uestion |
|000004c0| 6d 61 72 6b 20 5c 3f 0a | 25 25 20 20 20 43 6f 6d |mark \?.|%% Com|
|000004d0| 6d 65 72 63 69 61 6c 20 | 61 74 20 5c 40 20 20 20 |mercial |at \@ |
|000004e0| 20 20 4c 65 66 74 20 62 | 72 61 63 6b 65 74 20 20 | Left b|racket |
|000004f0| 5c 5b 20 20 20 20 20 42 | 61 63 6b 73 6c 61 73 68 |\[ B|ackslash|
|00000500| 20 20 20 20 20 5c 5c 0a | 25 25 20 20 20 52 69 67 | \\.|%% Rig|
|00000510| 68 74 20 62 72 61 63 6b | 65 74 20 5c 5d 20 20 20 |ht brack|et \] |
|00000520| 20 20 43 69 72 63 75 6d | 66 6c 65 78 20 20 20 20 | Circum|flex |
|00000530| 5c 5e 20 20 20 20 20 55 | 6e 64 65 72 73 63 6f 72 |\^ U|nderscor|
|00000540| 65 20 20 20 20 5c 5f 0a | 25 25 20 20 20 47 72 61 |e \_.|%% Gra|
|00000550| 76 65 20 61 63 63 65 6e | 74 20 20 5c 60 20 20 20 |ve accen|t \` |
|00000560| 20 20 4c 65 66 74 20 62 | 72 61 63 65 20 20 20 20 | Left b|race |
|00000570| 5c 7b 20 20 20 20 20 56 | 65 72 74 69 63 61 6c 20 |\{ V|ertical |
|00000580| 62 61 72 20 20 5c 7c 0a | 25 25 20 20 20 52 69 67 |bar \|.|%% Rig|
|00000590| 68 74 20 62 72 61 63 65 | 20 20 20 5c 7d 20 20 20 |ht brace| \} |
|000005a0| 20 20 54 69 6c 64 65 20 | 20 20 20 20 20 20 20 20 | Tilde | |
|000005b0| 5c 7e 7d 0a 25 25 0a 25 | 25 20 50 61 63 6b 61 67 |\~}.%%.%|% Packag|
|000005c0| 65 20 60 74 68 65 6f 72 | 65 6d 27 20 74 6f 20 75 |e `theor|em' to u|
|000005d0| 73 65 20 77 69 74 68 20 | 4c 61 54 65 58 32 65 0a |se with |LaTeX2e.|
|000005e0| 25 25 20 43 6f 70 79 72 | 69 67 68 74 20 28 43 29 |%% Copyr|ight (C)|
|000005f0| 20 31 39 38 39 2d 31 39 | 39 34 20 46 72 61 6e 6b | 1989-19|94 Frank|
|00000600| 20 4d 69 74 74 65 6c 62 | 61 63 68 2c 20 61 6c 6c | Mittelb|ach, all|
|00000610| 20 72 69 67 68 74 73 20 | 72 65 73 65 72 76 65 64 | rights |reserved|
|00000620| 2e 0a 25 25 0a 25 25 20 | 46 6f 72 20 65 72 72 6f |..%%.%% |For erro|
|00000630| 72 20 72 65 70 6f 72 74 | 73 20 66 6f 72 20 55 4e |r report|s for UN|
|00000640| 43 48 41 4e 47 45 44 20 | 76 65 72 73 69 6f 6e 73 |CHANGED |versions|
|00000650| 20 73 65 65 20 72 65 61 | 64 6d 65 2e 74 78 74 2e | see rea|dme.txt.|
|00000660| 0a 25 25 20 20 20 54 68 | 65 20 6e 65 78 74 20 66 |.%% Th|e next f|
|00000670| 65 77 20 6c 69 6e 65 73 | 20 64 65 66 69 6e 65 20 |ew lines| define |
|00000680| 74 68 65 6f 72 65 6d 20 | 73 65 74 73 20 77 68 69 |theorem |sets whi|
|00000690| 63 68 20 61 72 65 20 75 | 73 65 64 0a 25 25 20 20 |ch are u|sed.%% |
|000006a0| 20 69 6e 20 74 68 65 20 | 65 78 61 6d 70 6c 65 20 | in the |example |
|000006b0| 73 65 63 74 69 6f 6e 20 | 6f 66 20 74 68 65 20 64 |section |of the d|
|000006c0| 6f 63 75 6d 65 6e 74 61 | 74 69 6f 6e 2e 0a 5c 62 |ocumenta|tion..\b|
|000006d0| 65 67 69 6e 67 72 6f 75 | 70 20 5c 6d 61 6b 65 61 |egingrou|p \makea|
|000006e0| 74 6c 65 74 74 65 72 0a | 5c 40 69 66 75 6e 64 65 |tletter.|\@ifunde|
|000006f0| 66 69 6e 65 64 7b 74 68 | 65 6f 72 65 6d 40 73 74 |fined{th|eorem@st|
|00000700| 79 6c 65 7d 7b 5c 69 6e | 70 75 74 7b 74 68 65 6f |yle}{\in|put{theo|
|00000710| 72 65 6d 2e 73 74 79 7d | 7d 7b 7d 0a 5c 50 72 6f |rem.sty}|}{}.\Pro|
|00000720| 76 69 64 65 73 46 69 6c | 65 7b 74 68 63 2e 73 74 |videsFil|e{thc.st|
|00000730| 79 7d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |y}. | |
|00000740| 5b 5c 66 69 6c 65 64 61 | 74 65 5c 73 70 61 63 65 |[\fileda|te\space|
|00000750| 20 54 68 65 6f 72 65 6d | 20 6c 61 79 6f 75 74 20 | Theorem| layout |
|00000760| 73 74 79 6c 65 20 5c 66 | 69 6c 65 76 65 72 73 69 |style \f|ileversi|
|00000770| 6f 6e 5d 0a 5c 77 6c 6f | 67 7b 54 68 65 6f 72 65 |on].\wlo|g{Theore|
|00000780| 6d 20 6c 61 79 6f 75 74 | 3a 20 60 74 68 65 6f 72 |m layout|: `theor|
|00000790| 65 6d 2d 63 68 61 6e 67 | 65 27 20 5c 66 69 6c 65 |em-chang|e' \file|
|000007a0| 76 65 72 73 69 6f 6e 20 | 5c 73 70 61 63 65 0a 20 |version |\space. |
|000007b0| 20 20 20 20 20 20 20 20 | 3c 5c 66 69 6c 65 64 61 | |<\fileda|
|000007c0| 74 65 3e 20 20 28 46 4d | 69 29 7d 0a 5c 67 64 65 |te> (FM|i)}.\gde|
|000007d0| 66 5c 74 68 40 63 68 61 | 6e 67 65 7b 5c 6e 6f 72 |f\th@cha|nge{\nor|
|000007e0| 6d 61 6c 66 6f 6e 74 5c | 73 6c 73 68 61 70 65 0a |malfont\|slshape.|
|000007f0| 20 20 5c 64 65 66 5c 40 | 62 65 67 69 6e 74 68 65 | \def\@|beginthe|
|00000800| 6f 72 65 6d 23 23 31 23 | 23 32 7b 5c 69 74 65 6d |orem##1#|#2{\item|
|00000810| 0a 20 20 20 20 20 20 20 | 5b 5c 68 73 6b 69 70 5c |. |[\hskip\|
|00000820| 6c 61 62 65 6c 73 65 70 | 20 5c 74 68 65 6f 72 65 |labelsep| \theore|
|00000830| 6d 40 68 65 61 64 65 72 | 66 6f 6e 74 20 23 23 32 |m@header|font ##2|
|00000840| 5c 20 23 23 31 5d 7d 25 | 0a 5c 64 65 66 5c 40 6f |\ ##1]}%|.\def\@o|
|00000850| 70 61 72 67 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |pargbegi|ntheorem|
|00000860| 23 23 31 23 23 32 23 23 | 33 7b 25 0a 20 20 5c 69 |##1##2##|3{%. \i|
|00000870| 74 65 6d 5b 5c 68 73 6b | 69 70 5c 6c 61 62 65 6c |tem[\hsk|ip\label|
|00000880| 73 65 70 20 5c 74 68 65 | 6f 72 65 6d 40 68 65 61 |sep \the|orem@hea|
|00000890| 64 65 72 66 6f 6e 74 20 | 23 23 32 5c 20 23 23 31 |derfont |##2\ ##1|
|000008a0| 5c 20 28 23 23 33 29 5d | 7d 7d 0a 5c 65 6e 64 67 |\ (##3)]|}}.\endg|
|000008b0| 72 6f 75 70 0a 0a 5c 65 | 6e 64 69 6e 70 75 74 0a |roup..\e|ndinput.|
|000008c0| 25 25 20 0a 25 25 20 45 | 6e 64 20 6f 66 20 66 69 |%% .%% E|nd of fi|
|000008d0| 6c 65 20 60 74 68 63 2e | 73 74 79 27 2e 0a |le `thc.|sty'.. |
+--------+-------------------------+-------------------------+--------+--------+
